Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
51	A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2010-08-24 07:12:03 Logic Mathematical logic Modal logic Non-classical logic Model theory Propositional calculus Admissible rule Intermediate logic Kripke semantics Substitution FO Modal companion
52	A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract Add to Reading List Source URL: folk.uio.no Language: English - Date: 2011-09-02 08:27:14 Logic Mathematical logic Abstraction Model theory Predicate logic Formal languages Logic in computer science First-order logic Interpretation Modal logic Axiom Equality
53	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-05-02 20:58:40 Logic Mathematical logic Theoretical computer science Boolean algebra Logic in computer science Formal methods Classical logic Formal verification Model checking Modal logic Propositional calculus Temporal logic
54	Finding News Citations for Wikipedia Besnik Fetahu† , Katja Markert‡ , Wolfgang Nejdl† , Avishek Anand† † L3S Research Center Leibniz University of Hannover Add to Reading List Source URL: www.l3s.de Language: English - Date: 2016-08-15 08:41:11 Philosophy Logic Reliability of Wikipedia Metaphysics Causality Modal logic
55	A Multiple Security Domain Model of a Drive-by-Wire System Add to Reading List Source URL: cs.mst.edu Language: English - Date: 2015-04-03 16:07:48 Security Logic Non-classical logic Philosophical logic Planar graphs Platonic solids W5 Cyber-physical system Computer security Modal logic Symbol Regular icosahedron
56	TRANSLATIONS IN SENTENTIAL LOGIC. Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Logic Logical connectives Semantics Philosophical logic Model theory Formal languages Propositional calculus Interpretation First-order logic If and only if False Modal logic
57	Contingency G. W. Leibniz Copyright ©2010–2015 All rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. Small ·dots· enclose material that has been added, but can be read as though it were pa Add to Reading List Source URL: www.earlymoderntexts.com Language: English Philosophy Logic Philosophical logic Truth Contingency A priori and a posteriori Modal logic Law of noncontradiction Principle Epistemology Logical truth Proposition
58	Microsoft Word - vita 2007.doc Add to Reading List Source URL: philosophy.ucsb.edu Language: English - Date: 2015-07-13 19:18:47 Philosophy Logic American philosophers Analytic philosophers Philosophical logic Guggenheim Fellows Philosophy of logic Saul Kripke David Kaplan C. Anthony Anderson Modal logic Intensional logic
59	nalytica an electronic, open-access journal for philosophy of science How to Learn Concepts, Consequences and Conditionals Add to Reading List Source URL: www.analytica.phs.uoa.gr Language: English - Date: 2016-07-11 06:07:38 Modal logic Logical connectives Conditionals Philosophical logic Philosophy of language Doxastic logic Material conditional Propositional calculus Strict conditional Proposition Mathematical proof Meaning
60	Compliance Games Piotr Ka´zmierczak Dept. of Computing, Mathematics and Physics Bergen University College, Norway Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-02 10:18:37 Game theory Symbol Modal logic Core Cooperative game